$a$ =$_{b}$ $b$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$(($a$.1) (=$_{b}$) ($b$.1)) $\wedge_{b}$ (($a$.2) (=$_{b}$) ($b$.2))